it must be assumed that

假定